<html>
<head><meta charset="utf-8"><title>meeting 2021-02-16 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html">meeting 2021-02-16</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="226572885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226572885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226572885">(Feb 16 2021 at 20:38)</a>:</h4>
<p>Alright, another week where I'm not quite sure what we should discuss</p>



<a name="226575448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575448">(Feb 16 2021 at 20:59)</a>:</h4>
<p>wave</p>



<a name="226575457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575457">(Feb 16 2021 at 20:59)</a>:</h4>
<p>so</p>



<a name="226575462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575462">(Feb 16 2021 at 20:59)</a>:</h4>
<p>i did some stuff</p>



<a name="226575520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575520">(Feb 16 2021 at 20:59)</a>:</h4>
<p>define 'stuff' <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="226575526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575526">(Feb 16 2021 at 20:59)</a>:</h4>
<p>Actually, before we go into that</p>



<a name="226575635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575635">(Feb 16 2021 at 21:00)</a>:</h4>
<p>I was talking to <span class="user-mention" data-user-id="124288">@oli</span> (who is starting at AWS <span aria-label="dancer" class="emoji emoji-1f483" role="img" title="dancer">:dancer:</span> ) and he was saying that this meeting is not at a good time for him</p>



<a name="226575658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575658">(Feb 16 2021 at 21:00)</a>:</h4>
<p>I'm wondering how people would feel about potentially finding another time</p>



<a name="226575688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575688">(Feb 16 2021 at 21:00)</a>:</h4>
<p>the thought of a doodle makes me want to cry but I suppose that'd be the easiest way</p>



<a name="226575706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575706">(Feb 16 2021 at 21:00)</a>:</h4>
<p>Howdy <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="226575791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575791">(Feb 16 2021 at 21:01)</a>:</h4>
<p>Wednesdays are tough for me, Thursday mornings I can't do at all, other than than, I can make things work</p>



<a name="226575866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575866">(Feb 16 2021 at 21:02)</a>:</h4>
<p>it's also true that <span class="user-mention" data-user-id="124288">@oli</span> will have relatively limited time for a while</p>



<a name="226575981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226575981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226575981">(Feb 16 2021 at 21:03)</a>:</h4>
<p>so it may not be that big a deal</p>



<a name="226576019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576019">(Feb 16 2021 at 21:03)</a>:</h4>
<p>anyway, I'll make a doodle or something, or maybe just have people drop a few notes in a hackmd</p>



<a name="226576029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576029">(Feb 16 2021 at 21:03)</a>:</h4>
<p>Either way, I'm open to changing the meeting time</p>



<a name="226576052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576052">(Feb 16 2021 at 21:03)</a>:</h4>
<p>I'm not really clear on who attends these meetings</p>



<a name="226576062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576062">(Feb 16 2021 at 21:03)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span>, <span class="user-mention" data-user-id="232957">@Jack Huey</span>, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> sometimes?</p>



<a name="226576097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576097">(Feb 16 2021 at 21:04)</a>:</h4>
<p>Ay, and some others that stop by from time to time</p>



<a name="226576195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576195">(Feb 16 2021 at 21:04)</a>:</h4>
<p>ok so anyway what I did is basically to dig a bit into the "path to async fn in traits"</p>



<a name="226576211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576211">(Feb 16 2021 at 21:04)</a>:</h4>
<p><a href="https://hackmd.io/5kCE2T6sTDijhqMx8kaikw">https://hackmd.io/5kCE2T6sTDijhqMx8kaikw</a></p>



<a name="226576218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576218">(Feb 16 2021 at 21:04)</a>:</h4>
<p>and restructure the document</p>



<a name="226576230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576230">(Feb 16 2021 at 21:04)</a>:</h4>
<h2>Milestones</h2>
<p>Largely unordered:</p>
<ul>
<li>Impl Trait Slice 0 stabilized</li>
<li>GAT blockers resolved</li>
<li>RFC for GATs with types open</li>
<li>RFC for async fn and impl trait open</li>
<li>RFC for GATs with types merged</li>
<li>RFC for async fn and impl trait merged</li>
<li>All features implemented on nightly</li>
<li>All features stable on nightly</li>
<li>All features stable</li>
</ul>



<a name="226576246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576246">(Feb 16 2021 at 21:05)</a>:</h4>
<p>this is partly related to me doing, ahem, AWS planning</p>



<a name="226576266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576266">(Feb 16 2021 at 21:05)</a>:</h4>
<p>Nice nice</p>



<a name="226576272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576272">(Feb 16 2021 at 21:05)</a>:</h4>
<p>i.e., having to think about what my milestones are etc:)</p>



<a name="226576294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576294">(Feb 16 2021 at 21:05)</a>:</h4>
<h2>Actionable next steps</h2>
<ul>
<li>Define impl Trait slice 0 feature gate with appropriate tests</li>
<li>Write tests + stabilization report for GATs</li>
<li>Resolve <a href="https://hackmd.io/uxoObhSxSRijNmfmGkId0g">GAT blockers</a><br>
    * [#81801] - Bad diagnostics for GATs in trait paths<br>
    * [#81862] - GAT: elided lifetimes in paths errors with <code>error[E0107]: missing generics for associated type</code><br>
        - diagnostic issue largely, but an important one<br>
    * [#81961] - GAT: incorrect suggestion on missing lifetime<br>
        - diagnostic issue, but an importnt one</li>
<li>Write RFC for <code>impl Trait</code> and <code>async fn</code> in trait definitions</li>
<li>Stabilize the "member constraints" feature gate ([#61997]), extending this approach to all <code>impl Trait</code>, and not just <code>async fn</code></li>
</ul>



<a name="226576331"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576331" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576331">(Feb 16 2021 at 21:05)</a>:</h4>
<p>i was thinking maybe we could talk a bit about those -- am I missing some steps? (probably) and can we start to assign them?</p>



<a name="226576345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576345">(Feb 16 2021 at 21:06)</a>:</h4>
<p>That works</p>



<a name="226576357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576357">(Feb 16 2021 at 21:06)</a>:</h4>
<p>one other thing is -- I still want to push on the type library</p>



<a name="226576392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576392">(Feb 16 2021 at 21:06)</a>:</h4>
<p>I've been looking at <a href="https://github.com/rust-lang/rust/issues/76407">#76407</a></p>



<a name="226576420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576420">(Feb 16 2021 at 21:06)</a>:</h4>
<p>Which, when we did triage, we marked as blocking</p>



<a name="226576481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576481">(Feb 16 2021 at 21:07)</a>:</h4>
<p>But I'm finding that it actually interacts heavily with just the general lazy normalization story</p>



<a name="226576499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576499">(Feb 16 2021 at 21:07)</a>:</h4>
<p>yeah</p>



<a name="226576506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576506">(Feb 16 2021 at 21:07)</a>:</h4>
<p>so <em>that</em> is where chalk maybe comes in</p>



<a name="226576548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576548">(Feb 16 2021 at 21:07)</a>:</h4>
<p>Yeah</p>



<a name="226576647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576647">(Feb 16 2021 at 21:08)</a>:</h4>
<p>I mean, I could go into the issue a bit w.r.t. why it happens</p>



<a name="226576662"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576662" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576662">(Feb 16 2021 at 21:08)</a>:</h4>
<p>but not sure it's necessary</p>



<a name="226576675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576675">(Feb 16 2021 at 21:08)</a>:</h4>
<p>I did read into the issue while updating the async fn in traits doc</p>



<a name="226576683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576683">(Feb 16 2021 at 21:08)</a>:</h4>
<p>I can kind of see how it comes about</p>



<a name="226576742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576742">(Feb 16 2021 at 21:09)</a>:</h4>
<p>It's just that <code>&lt;T as MyTrait&gt;::Item&lt;'a&gt;</code> has a bound var whereas <code>&lt;T as MyTrait&gt;::Item</code> doesn't</p>



<a name="226576755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576755">(Feb 16 2021 at 21:09)</a>:</h4>
<p>so the latter normalizes fine</p>



<a name="226576775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576775">(Feb 16 2021 at 21:09)</a>:</h4>
<p>but the former gets stuck</p>



<a name="226576797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576797">(Feb 16 2021 at 21:09)</a>:</h4>
<p>makes sense</p>



<a name="226576802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576802">(Feb 16 2021 at 21:10)</a>:</h4>
<p>(here Projections aren't getting normalized because: <a href="https://github.com/rust-lang/rust/blob/cfba499271ba53190a1d3647ff8f7202ec9ed6f5/compiler/rustc_trait_selection/src/traits/project.rs#L368">https://github.com/rust-lang/rust/blob/cfba499271ba53190a1d3647ff8f7202ec9ed6f5/compiler/rustc_trait_selection/src/traits/project.rs#L368</a>)</p>



<a name="226576878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576878">(Feb 16 2021 at 21:10)</a>:</h4>
<p>Note that this is not quite the same as <code>&lt;T as MyTrait&lt;'a&gt;&gt;::Item</code>, I think</p>



<a name="226576881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576881">(Feb 16 2021 at 21:10)</a>:</h4>
<p>so this "chalk integration" status is not represented in the doc at all</p>



<a name="226576887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576887">(Feb 16 2021 at 21:10)</a>:</h4>
<p>do we want to talk about the status there?</p>



<a name="226576896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576896">(Feb 16 2021 at 21:10)</a>:</h4>
<p>before we do that though</p>



<a name="226576907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576907">(Feb 16 2021 at 21:10)</a>:</h4>
<p>can we look a bti at the "actionable next steps" above?</p>



<a name="226576916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576916">(Feb 16 2021 at 21:10)</a>:</h4>
<p>I just wanted to say that I asked <span class="user-mention" data-user-id="124288">@oli</span> to look into "define impl trait slice 0 feature gate"</p>



<a name="226576952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576952">(Feb 16 2021 at 21:11)</a>:</h4>
<p>since he did a lot of that impl work initially</p>



<a name="226576965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576965">(Feb 16 2021 at 21:11)</a>:</h4>
<p>I am thinking of starting work on that RFC</p>



<a name="226576988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226576988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226576988">(Feb 16 2021 at 21:11)</a>:</h4>
<p>Yeah, I still didn't read any of the docs on that</p>



<a name="226577054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577054">(Feb 16 2021 at 21:12)</a>:</h4>
<p>there is I guess a need for a "GAT wth type" RFC</p>



<a name="226577097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577097">(Feb 16 2021 at 21:12)</a>:</h4>
<p>to be honest i kind of just want to make a new GATs RFC altogether</p>



<a name="226577112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577112">(Feb 16 2021 at 21:12)</a>:</h4>
<p>i.e., superceding the old one</p>



<a name="226577133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577133">(Feb 16 2021 at 21:12)</a>:</h4>
<p>this might actually be a nice way for me to poke at the implementation</p>



<a name="226577134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577134">(Feb 16 2021 at 21:12)</a>:</h4>
<p>Potentially, but I think the original RFC had types</p>



<a name="226577162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577162">(Feb 16 2021 at 21:12)</a>:</h4>
<p>ok, should check</p>



<a name="226577177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577177">(Feb 16 2021 at 21:12)</a>:</h4>
<p>checking</p>



<a name="226577198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577198">(Feb 16 2021 at 21:13)</a>:</h4>
<p>what was the RFC number?</p>



<a name="226577219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577219">(Feb 16 2021 at 21:13)</a>:</h4>
<p><a href="https://github.com/rust-lang/rfcs/blob/master/text/1598-generic_associated_types.md">https://github.com/rust-lang/rfcs/blob/master/text/1598-generic_associated_types.md</a> ?</p>



<a name="226577251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577251">(Feb 16 2021 at 21:13)</a>:</h4>
<p>sounds right :)</p>



<a name="226577262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577262">(Feb 16 2021 at 21:13)</a>:</h4>
<p><a href="https://github.com/rust-lang/rfcs/blob/master/text/1598-generic_associated_types.md#associated-type-constructors-of-type-arguments">https://github.com/rust-lang/rfcs/blob/master/text/1598-generic_associated_types.md#associated-type-constructors-of-type-arguments</a></p>



<a name="226577285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577285">(Feb 16 2021 at 21:13)</a>:</h4>
<p>ok it doesn't</p>



<a name="226577310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577310">(Feb 16 2021 at 21:13)</a>:</h4>
<blockquote>
<p>This RFC does not propose extending HRTBs to take type arguments, which makes these less expressive than they could be. Such an extension is desired, but out of scope for this RFC.</p>
</blockquote>



<a name="226577382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577382">(Feb 16 2021 at 21:14)</a>:</h4>
<p>that's maybe ok</p>



<a name="226577416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577416">(Feb 16 2021 at 21:14)</a>:</h4>
<p>So, imo, unless we run into a big issue when putting together tests, I think we should just include types (and consts)</p>



<a name="226577494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577494">(Feb 16 2021 at 21:15)</a>:</h4>
<p>But yeah, another RFC for that would be needed it seems</p>



<a name="226577511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577511">(Feb 16 2021 at 21:15)</a>:</h4>
<p>Not having <code>for&lt;T&gt;</code> does limit type-generic associated types a bit.</p>



<a name="226577640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577640">(Feb 16 2021 at 21:16)</a>:</h4>
<p>Right</p>



<a name="226577646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577646">(Feb 16 2021 at 21:16)</a>:</h4>
<p>So</p>



<a name="226577690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577690">(Feb 16 2021 at 21:16)</a>:</h4>
<p>I think a revised RFC might be nice</p>



<a name="226577709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577709">(Feb 16 2021 at 21:16)</a>:</h4>
<p>Given this, maybe it <em>does</em> make sense to split out the <code>generic_associated_types</code> feature into two?</p>



<a name="226577713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577713">(Feb 16 2021 at 21:16)</a>:</h4>
<p>but</p>



<a name="226577733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577733">(Feb 16 2021 at 21:16)</a>:</h4>
<p>/me thinks</p>



<a name="226577832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577832">(Feb 16 2021 at 21:17)</a>:</h4>
<p>Lifetime GATs is all that is needed for async fn in traits, right?</p>



<a name="226577844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577844">(Feb 16 2021 at 21:17)</a>:</h4>
<p>split into which parts, <span class="user-mention" data-user-id="232957">@Jack Huey</span> ?</p>



<a name="226577857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577857">(Feb 16 2021 at 21:17)</a>:</h4>
<p>well</p>



<a name="226577858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577858">(Feb 16 2021 at 21:17)</a>:</h4>
<p>lifetime vs all</p>



<a name="226577915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577915">(Feb 16 2021 at 21:18)</a>:</h4>
<p>you need both if you want to support functions that have generic type parameters----</p>



<a name="226577930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577930">(Feb 16 2021 at 21:18)</a>:</h4>
<p>but we could exclude that to start</p>



<a name="226577940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226577940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226577940">(Feb 16 2021 at 21:18)</a>:</h4>
<p>I'm not sure if there's a reason to do so</p>



<a name="226578000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578000">(Feb 16 2021 at 21:19)</a>:</h4>
<p>is it just about the RFC or are there impl concerns?</p>



<a name="226578031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578031">(Feb 16 2021 at 21:19)</a>:</h4>
<p>I have no impl concerns right now</p>



<a name="226578157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578157">(Feb 16 2021 at 21:20)</a>:</h4>
<p>i guess I think <code>for&lt;T&gt;</code> probably wants to come with chalk</p>



<a name="226578207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578207">(Feb 16 2021 at 21:20)</a>:</h4>
<p>there are questions to be tackled-- even with <code>for&lt;'a&gt;</code> there kind of are -- like what is the Rust syntax for chalk's <code>if</code></p>



<a name="226578218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578218">(Feb 16 2021 at 21:20)</a>:</h4>
<p>I feel like <code>for&lt;T&gt;</code> is just a can of worms we don't want to discuss now</p>



<a name="226578254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578254">(Feb 16 2021 at 21:21)</a>:</h4>
<p>and how does <code>if</code> interact with borrow checking.</p>



<a name="226578255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578255">(Feb 16 2021 at 21:21)</a>:</h4>
<p>I guess we just don't need it</p>



<a name="226578418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578418">(Feb 16 2021 at 21:22)</a>:</h4>
<p>and I think the RFC is basically good, ok</p>



<a name="226578425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578425">(Feb 16 2021 at 21:22)</a>:</h4>
<p>It would probably avoid a ton of edge cases if we didn't need <code>for&lt;T&gt;</code> syntax (at least for now)</p>



<a name="226578495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578495">(Feb 16 2021 at 21:22)</a>:</h4>
<p>I think we probably should start with putting together tests for GATs</p>



<a name="226578505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578505">(Feb 16 2021 at 21:23)</a>:</h4>
<p>I agree</p>



<a name="226578522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578522">(Feb 16 2021 at 21:23)</a>:</h4>
<p>and see where things break</p>



<a name="226578634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578634">(Feb 16 2021 at 21:24)</a>:</h4>
<p>As far as current issues</p>



<a name="226578654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578654">(Feb 16 2021 at 21:24)</a>:</h4>
<p>I think we should shoot to get both types + lifetimes</p>



<a name="226578667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578667">(Feb 16 2021 at 21:24)</a>:</h4>
<p>if problems emerge when writing the tests, ok</p>



<a name="226578682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578682">(Feb 16 2021 at 21:24)</a>:</h4>
<p>to what extent do tests already exist?</p>



<a name="226578710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578710">(Feb 16 2021 at 21:24)</a>:</h4>
<p>Hmm</p>



<a name="226578728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578728">(Feb 16 2021 at 21:24)</a>:</h4>
<p>the age old problem</p>



<a name="226578729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578729">(Feb 16 2021 at 21:24)</a>:</h4>
<p>I'm not completely sure, I need to review</p>



<a name="226578739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578739">(Feb 16 2021 at 21:25)</a>:</h4>
<p>There are a few. A lot of them are based on all of the ICEs from bug reports though.</p>



<a name="226578763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578763">(Feb 16 2021 at 21:25)</a>:</h4>
<p>Speaking of those</p>



<a name="226578776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578776">(Feb 16 2021 at 21:25)</a>:</h4>
<p>I've often found it really useful to step back and just think comprehensively about tests</p>



<a name="226578783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578783">(Feb 16 2021 at 21:25)</a>:</h4>
<p>e.g., by reading the RFC</p>



<a name="226578802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578802">(Feb 16 2021 at 21:25)</a>:</h4>
<p>and writing down all the things that it sparks for you</p>



<a name="226578817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578817">(Feb 16 2021 at 21:25)</a>:</h4>
<p>A lot of a essentially "duplicates", in that the end up testing the same thing with different bits of code</p>



<a name="226578823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578823">(Feb 16 2021 at 21:25)</a>:</h4>
<p>like, take each section and write some tests arond it</p>



<a name="226578846"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578846" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578846">(Feb 16 2021 at 21:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226578817">said</a>:</p>
<blockquote>
<p>A lot of a essentially "duplicates", in that the end up testing the same thing with different bits of code</p>
</blockquote>
<p>yeah, it's just not worth the effort to try and cull them down</p>



<a name="226578904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226578904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226578904">(Feb 16 2021 at 21:26)</a>:</h4>
<p>gotta do our part to melt those icebergs</p>



<a name="226579005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579005">(Feb 16 2021 at 21:27)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> is that (writing tests) something you want to take on?</p>



<a name="226579030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579030">(Feb 16 2021 at 21:27)</a>:</h4>
<p>we could also do like a test writing party</p>



<a name="226579048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579048">(Feb 16 2021 at 21:27)</a>:</h4>
<p>schedule a few hours or something :) that could be fun</p>



<a name="226579089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579089">(Feb 16 2021 at 21:27)</a>:</h4>
<p>Ugh maybe. I'm kind of limited on time. And already spread a bit thin. But I can take a few hours</p>



<a name="226579092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579092">(Feb 16 2021 at 21:27)</a>:</h4>
<p>coordinated soundtracks that we all play at the same time</p>



<a name="226579109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579109">(Feb 16 2021 at 21:27)</a>:</h4>
<p>don't overtax yourself</p>



<a name="226579133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579133">(Feb 16 2021 at 21:28)</a>:</h4>
<p>I just couldn't tell if you were excited about it :)</p>



<a name="226579179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579179">(Feb 16 2021 at 21:28)</a>:</h4>
<p>I want it</p>



<a name="226579183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579183">(Feb 16 2021 at 21:28)</a>:</h4>
<p>I would definitely be down to schedule a few hours with someone</p>



<a name="226579191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579191">(Feb 16 2021 at 21:28)</a>:</h4>
<p>Gimme gimme</p>



<a name="226579218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579218">(Feb 16 2021 at 21:28)</a>:</h4>
<p>Easy solution :)</p>



<a name="226579229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579229">(Feb 16 2021 at 21:28)</a>:</h4>
<p>sounds good!</p>



<a name="226579236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579236">(Feb 16 2021 at 21:28)</a>:</h4>
<p>I'd like to review the pr</p>



<a name="226579247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579247">(Feb 16 2021 at 21:28)</a>:</h4>
<p>and/or PRs</p>



<a name="226579274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579274">(Feb 16 2021 at 21:28)</a>:</h4>
<p>Sounds good to me</p>



<a name="226579297"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579297" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579297">(Feb 16 2021 at 21:29)</a>:</h4>
<p>this reminds me</p>



<a name="226579315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579315">(Feb 16 2021 at 21:29)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> we never scheduled a time to talk about the binder PR :) I'm game to do that this week and will ping you</p>



<a name="226579374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579374">(Feb 16 2021 at 21:29)</a>:</h4>
<p>Yes, let's schedule. Ping me :)</p>



<a name="226579449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579449">(Feb 16 2021 at 21:30)</a>:</h4>
<p>Okay, so action items re. async fn in traits</p>



<a name="226579461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579461">(Feb 16 2021 at 21:30)</a>:</h4>
<p>so that leaves the following things:</p>
<ul>
<li>Resolve <a href="https://hackmd.io/uxoObhSxSRijNmfmGkId0g">GAT blockers</a><br>
    * [#81801] - Bad diagnostics for GATs in trait paths<br>
    * [#81862] - GAT: elided lifetimes in paths errors with <code>error[E0107]: missing generics for associated type</code><br>
        - diagnostic issue largely, but an important one<br>
    * [#81961] - GAT: incorrect suggestion on missing lifetime<br>
        - diagnostic issue, but an importnt one</li>
</ul>



<a name="226579486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579486">(Feb 16 2021 at 21:30)</a>:</h4>
<ul>
<li>Stabilize the "member constraints" feature gate ([#61997]), extending this approach to all <code>impl Trait</code>, and not just <code>async fn</code></li>
</ul>



<a name="226579505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579505">(Feb 16 2021 at 21:30)</a>:</h4>
<p>The diagnostics might all be solved together</p>



<a name="226579518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579518">(Feb 16 2021 at 21:30)</a>:</h4>
<p>for the latter, there was a note about fixing the bug around <code>let foo: impl Bar&lt;'_&gt;</code> first but I think that's not necessary</p>



<a name="226579569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579569">(Feb 16 2021 at 21:31)</a>:</h4>
<p>I don't even know what that feature <em>does</em></p>



<a name="226579577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579577">(Feb 16 2021 at 21:31)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/61773">https://github.com/rust-lang/rust/issues/61773</a></p>



<a name="226579611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579611">(Feb 16 2021 at 21:31)</a>:</h4>
<p>I can tackle the stablization report for this probably</p>



<a name="226579765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579765">(Feb 16 2021 at 21:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226579505">said</a>:</p>
<blockquote>
<p>The diagnostics might all be solved together</p>
</blockquote>
<p>should we maybe see if we can find one person to poke at it?</p>



<a name="226579778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579778">(Feb 16 2021 at 21:32)</a>:</h4>
<p>I just r+'d some PR by <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> relating to diagnostics</p>



<a name="226579785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579785">(Feb 16 2021 at 21:32)</a>:</h4>
<p>Any volunteers?</p>



<a name="226579786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579786">(Feb 16 2021 at 21:32)</a>:</h4>
<p>I agree they kind of looked similar</p>



<a name="226579820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579820">(Feb 16 2021 at 21:32)</a>:</h4>
<p>who was it that did the PR that fixed all the other bugs?</p>



<a name="226579824"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579824" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579824">(Feb 16 2021 at 21:32)</a>:</h4>
<p>maybe they want to take a crack at it :)</p>



<a name="226579854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579854">(Feb 16 2021 at 21:32)</a>:</h4>
<p>b-naber I think</p>



<a name="226579861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579861">(Feb 16 2021 at 21:32)</a>:</h4>
<p>yes</p>



<a name="226579886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579886">(Feb 16 2021 at 21:33)</a>:</h4>
<p>Not sure if they're on Zulip :)</p>



<a name="226579995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226579995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226579995">(Feb 16 2021 at 21:33)</a>:</h4>
<p>I think that is <span class="user-mention" data-user-id="328097">@BN</span> ?</p>



<a name="226580071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580071">(Feb 16 2021 at 21:34)</a>:</h4>
<p>(to whom I owe a review of <a href="https://github.com/rust-lang/rust/issues/80788">#80788</a>...it's coming)</p>



<a name="226580128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580128">(Feb 16 2021 at 21:34)</a>:</h4>
<p>I will try to reach out to them</p>



<a name="226580138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580138">(Feb 16 2021 at 21:34)</a>:</h4>
<p><span class="user-mention" data-user-id="328097">@BN</span> -- any interest in tackling the GAT diagnostic blockers <a href="https://github.com/rust-lang/rust/issues/81801">#81801</a>, <a href="https://github.com/rust-lang/rust/issues/81862">#81862</a>, <a href="https://github.com/rust-lang/rust/issues/81961">#81961</a> ... ? :)</p>



<a name="226580149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580149">(Feb 16 2021 at 21:34)</a>:</h4>
<p>sg</p>



<a name="226580162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580162">(Feb 16 2021 at 21:34)</a>:</h4>
<p>Or if someone else wants it</p>



<a name="226580173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580173">(Feb 16 2021 at 21:35)</a>:</h4>
<p>based on their e-mail address I'm guessing they're not online right now</p>



<a name="226580189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580189">(Feb 16 2021 at 21:35)</a>:</h4>
<p>although a lot of you folks are in CEST so...</p>



<a name="226580306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580306">(Feb 16 2021 at 21:35)</a>:</h4>
<p>Just for reference, <a href="https://github.com/rust-lang/rust/issues/77524">#77524</a> touches a lot of this code</p>



<a name="226580322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580322">(Feb 16 2021 at 21:36)</a>:</h4>
<p>(diagnostics)</p>



<a name="226580379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580379">(Feb 16 2021 at 21:36)</a>:</h4>
<p>so might be useful to look back on</p>



<a name="226580425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580425">(Feb 16 2021 at 21:36)</a>:</h4>
<p>I wonder if the author would want to try to tackle these issues</p>



<a name="226580438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580438">(Feb 16 2021 at 21:36)</a>:</h4>
<p>and somewhere in there is <a href="https://github.com/rust-lang/rust/issues/81801">#81801</a></p>



<a name="226580472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580472">(Feb 16 2021 at 21:36)</a>:</h4>
<p>don't think they're on Zulip though, or if they are I don't know their handle</p>



<a name="226580510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580510">(Feb 16 2021 at 21:37)</a>:</h4>
<p>(that is one thing that annoys me about Zulip, I wish the handles were the same as github usernames)</p>



<a name="226580565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580565">(Feb 16 2021 at 21:37)</a>:</h4>
<p>ping me if they won't respond/take it pls, I would be happy to take this one too</p>



<a name="226580566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580566">(Feb 16 2021 at 21:37)</a>:</h4>
<p>There's also <a href="https://github.com/rust-lang/rust/issues/81823">#81823</a> which I'll work on.</p>



<a name="226580591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580591">(Feb 16 2021 at 21:38)</a>:</h4>
<p>oh</p>



<a name="226580637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580637">(Feb 16 2021 at 21:38)</a>:</h4>
<p>let's add that to the list</p>



<a name="226580716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580716">(Feb 16 2021 at 21:39)</a>:</h4>
<p>For <a href="https://github.com/rust-lang/rust/issues/76407">#76407</a>, I'm not quite sure what I need to do</p>



<a name="226580725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580725">(Feb 16 2021 at 21:39)</a>:</h4>
<p>oh, there's also </p>
<ul>
<li><a href="https://github.com/rust-lang/rust/issues/80626">#80626</a> - Enum variant with GAT field fails to derive Sized</li>
</ul>



<a name="226580751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580751">(Feb 16 2021 at 21:39)</a>:</h4>
<p>I think that we leave <a href="https://github.com/rust-lang/rust/issues/76407">#76407</a></p>



<a name="226580776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580776">(Feb 16 2021 at 21:39)</a>:</h4>
<p>That's the feeling I'm getting</p>



<a name="226580790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580790">(Feb 16 2021 at 21:39)</a>:</h4>
<p>I think we should discuss lazy norm separately</p>



<a name="226580853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580853">(Feb 16 2021 at 21:40)</a>:</h4>
<p>It's just a bit sad because it seems like a really high profile issue</p>



<a name="226580879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580879">(Feb 16 2021 at 21:40)</a>:</h4>
<p>Depends on how much people will run into this, I guess</p>



<a name="226580884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580884">(Feb 16 2021 at 21:40)</a>:</h4>
<p>but yeah, we should probably have a whole separate discussion around this</p>



<a name="226580895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580895">(Feb 16 2021 at 21:40)</a>:</h4>
<p>Lazy norm probably needs  a design discussion.</p>



<a name="226580899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580899">(Feb 16 2021 at 21:40)</a>:</h4>
<p>I still hope we will tackle it, let's just discuss it separately</p>



<a name="226580939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580939">(Feb 16 2021 at 21:40)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226580725">said</a>:</p>
<blockquote>
<p>oh, there's also </p>
<ul>
<li><a href="https://github.com/rust-lang/rust/issues/80626">#80626</a> - Enum variant with GAT field fails to derive Sized</li>
</ul>
</blockquote>
<p>what's the story with this</p>



<a name="226580968"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580968" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580968">(Feb 16 2021 at 21:41)</a>:</h4>
<p>I don't think anyone has looked into it</p>



<a name="226580985"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226580985" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226580985">(Feb 16 2021 at 21:41)</a>:</h4>
<p>hmm so</p>



<a name="226581019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581019">(Feb 16 2021 at 21:41)</a>:</h4>
<p>I think I know why the <code>, i64</code> variant behaves differently</p>



<a name="226581041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581041">(Feb 16 2021 at 21:41)</a>:</h4>
<p>Basically enum T: Sized requires the last field of every variant is Sized.</p>



<a name="226581117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581117">(Feb 16 2021 at 21:42)</a>:</h4>
<p>This requires normalizing the last field, which in turn requires sized because <code>type&lt;T&gt;</code> is short for <code>type&lt;T: Sized&gt;</code></p>



<a name="226581220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581220">(Feb 16 2021 at 21:43)</a>:</h4>
<p>this is kind of messed up</p>



<a name="226581255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581255">(Feb 16 2021 at 21:43)</a>:</h4>
<p>but</p>



<a name="226581265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581265">(Feb 16 2021 at 21:43)</a>:</h4>
<p>I'm not convinced it's a blocker :)</p>



<a name="226581288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581288">(Feb 16 2021 at 21:43)</a>:</h4>
<p>it seems kind of orthogonal to GATs?</p>



<a name="226581289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581289">(Feb 16 2021 at 21:43)</a>:</h4>
<p>yeah, I'm not quite sure</p>



<a name="226581344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581344">(Feb 16 2021 at 21:44)</a>:</h4>
<p>Probably</p>



<a name="226581362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581362">(Feb 16 2021 at 21:44)</a>:</h4>
<p>Could possibly also be improved by giving an error message explaining the Sized thing</p>



<a name="226581386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581386">(Feb 16 2021 at 21:44)</a>:</h4>
<p>It might be that just a quick hour of looking into it could find a useful diagnostic at least</p>



<a name="226581458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581458">(Feb 16 2021 at 21:45)</a>:</h4>
<p>So, let's put it aside for now?</p>



<a name="226581472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581472">(Feb 16 2021 at 21:45)</a>:</h4>
<p>Since it seems like it's probably not blocking</p>



<a name="226581511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581511">(Feb 16 2021 at 21:45)</a>:</h4>
<p>So, other action items</p>



<a name="226581587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581587">(Feb 16 2021 at 21:46)</a>:</h4>
<p>Which include RFCs for <code>impl Trait</code>, <code>async fn</code> in traits, and now type GATs</p>



<a name="226581686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581686">(Feb 16 2021 at 21:47)</a>:</h4>
<p>hmm</p>



<a name="226581710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581710">(Feb 16 2021 at 21:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226581288">said</a>:</p>
<blockquote>
<p>it seems kind of orthogonal to GATs?</p>
</blockquote>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">trait</span><span class="w"> </span><span class="n">Foo</span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span>: <span class="nb">Sized</span> <span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">type</span> <span class="nc">Item</span><span class="p">;</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="k">enum</span> <span class="nc">LinkedList</span><span class="o">&lt;</span><span class="n">T</span>: <span class="nc">Foo</span><span class="o">&lt;</span><span class="bp">Self</span><span class="o">&gt;&gt;</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="n">Head</span><span class="p">,</span><span class="w"></span>
<span class="w">    </span><span class="n">Next</span><span class="p">(</span><span class="o">&lt;</span><span class="n">T</span><span class="w"> </span><span class="k">as</span><span class="w"> </span><span class="n">Foo</span><span class="o">&lt;</span><span class="bp">Self</span><span class="o">&gt;&gt;</span>::<span class="n">Item</span><span class="p">),</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>

<span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{}</span><span class="w"></span>
</code></pre></div>
<p>that does work...anyway....</p>



<a name="226581746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581746">(Feb 16 2021 at 21:47)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226581587">said</a>:</p>
<blockquote>
<p>Which include RFCs for <code>impl Trait</code>, <code>async fn</code> in traits, and now type GATs</p>
</blockquote>
<p>I don't think type GATs need a fresh RFC</p>



<a name="226581767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581767">(Feb 16 2021 at 21:47)</a>:</h4>
<p>we could do one just because the old RFC is so old</p>



<a name="226581784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581784">(Feb 16 2021 at 21:47)</a>:</h4>
<p>but, re-reading it, it still seems pretty decent</p>



<a name="226581803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581803">(Feb 16 2021 at 21:47)</a>:</h4>
<p>Well, I'm not convinced that <code>&lt;T as Foo&gt;::Item&lt;Self&gt;</code> and <code>&lt;T as Foo&lt;Self&gt;&gt;::Item</code> can be treated the same :)</p>



<a name="226581812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581812">(Feb 16 2021 at 21:47)</a>:</h4>
<p>I do have a plan to RFC impl Trait / async fn in traits, which I don't believe have been proposed</p>



<a name="226581891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581891">(Feb 16 2021 at 21:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226581803">said</a>:</p>
<blockquote>
<p>Well, I'm not convinced that <code>&lt;T as Foo&gt;::Item&lt;Self&gt;</code> and <code>&lt;T as Foo&lt;Self&gt;&gt;::Item</code> can be treated the same :)</p>
</blockquote>
<p>clearly something is different</p>



<a name="226581925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581925">(Feb 16 2021 at 21:48)</a>:</h4>
<p>I'm a <em>bit</em> surprised because I would expect we have to prove <code>Self: Sized</code> and that requires normalizing ... anyway</p>



<a name="226581930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581930">(Feb 16 2021 at 21:48)</a>:</h4>
<p>I mean, I think we should be able to handle the former in some places that we can't handle the latter</p>



<a name="226581961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581961">(Feb 16 2021 at 21:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226581812">said</a>:</p>
<blockquote>
<p>I do have a plan to RFC impl Trait / async fn in traits, which I don't believe have been proposed</p>
</blockquote>
<p>arguably i should divide these</p>



<a name="226581978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581978">(Feb 16 2021 at 21:49)</a>:</h4>
<p>I think i might like to have an impl Trait RFC that supercedes all the old ones</p>



<a name="226581998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226581998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226581998">(Feb 16 2021 at 21:49)</a>:</h4>
<p>i.e., that describes the "full feature" in some sense that will be stable in one place</p>



<a name="226582008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582008">(Feb 16 2021 at 21:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226581710">said</a>:</p>
<blockquote>
<p>that does work...anyway....</p>
</blockquote>
<p>misread that</p>



<a name="226582035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582035">(Feb 16 2021 at 21:49)</a>:</h4>
<p>idk</p>



<a name="226582069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582069">(Feb 16 2021 at 21:49)</a>:</h4>
<p>impl Trait is like the canonical example (along with closures...) of something where it's super hard to figure out what the plan is, because it's been RFC'd in tiny pieces</p>



<a name="226582084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582084">(Feb 16 2021 at 21:50)</a>:</h4>
<p>So Niko are you volunteering to write the RFC?</p>



<a name="226582134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582134">(Feb 16 2021 at 21:50)</a>:</h4>
<p>yes</p>



<a name="226582151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582151">(Feb 16 2021 at 21:50)</a>:</h4>
<p>Or if you open a hackmd, I can add bits and pieces if that's helpful</p>



<a name="226582170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582170">(Feb 16 2021 at 21:50)</a>:</h4>
<p>will do</p>



<a name="226582181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582181">(Feb 16 2021 at 21:50)</a>:</h4>
<p>I can also develop it in the wg-traits repo potentially</p>



<a name="226582194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582194">(Feb 16 2021 at 21:50)</a>:</h4>
<p>but I'll start in a hackmd</p>



<a name="226582212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582212">(Feb 16 2021 at 21:50)</a>:</h4>
<p>and maybe finish there :)</p>



<a name="226582261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582261">(Feb 16 2021 at 21:51)</a>:</h4>
<p>makes sense</p>



<a name="226582274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582274">(Feb 16 2021 at 21:51)</a>:</h4>
<p>And then also the <code>member_constraints</code> stabilization report?</p>



<a name="226582282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582282">(Feb 16 2021 at 21:51)</a>:</h4>
<p>yeah, I can do those two things</p>



<a name="226582314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582314">(Feb 16 2021 at 21:51)</a>:</h4>
<p>or at least start them, I have to kind of schedule</p>



<a name="226582329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582329">(Feb 16 2021 at 21:51)</a>:</h4>
<p>Okay, we should quickly discuss Chalk status? And type library status?</p>



<a name="226582366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582366">(Feb 16 2021 at 21:52)</a>:</h4>
<p>we can, but I also have to in 8 minutes</p>



<a name="226582398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582398">(Feb 16 2021 at 21:52)</a>:</h4>
<p>so I guess it depends how long we think it will take</p>



<a name="226582420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582420">(Feb 16 2021 at 21:52)</a>:</h4>
<p>I would find it useful to get a recap, I'd like to incorporate that into our overall planning</p>



<a name="226582422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582422">(Feb 16 2021 at 21:52)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> I reviewed <a href="https://github.com/rust-lang/chalk/issues/681">chalk#681</a></p>



<a name="226582432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582432">(Feb 16 2021 at 21:52)</a>:</h4>
<p>Nice!</p>



<a name="226582455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582455">(Feb 16 2021 at 21:52)</a>:</h4>
<p>Niko can you review <a href="https://github.com/rust-lang/chalk/issues/683">chalk#683</a></p>



<a name="226582462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582462">(Feb 16 2021 at 21:52)</a>:</h4>
<p>yes</p>



<a name="226582477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582477">(Feb 16 2021 at 21:52)</a>:</h4>
<p>/me adds to his "virtual whiteboard"</p>



<a name="226582498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582498">(Feb 16 2021 at 21:53)</a>:</h4>
<p>my new todo list;)</p>



<a name="226582524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582524">(Feb 16 2021 at 21:53)</a>:</h4>
<p>I don't know enough about the recursive solver to think about coinduction there :)</p>



<a name="226582535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582535">(Feb 16 2021 at 21:53)</a>:</h4>
<p>But I think it looks reasonable to me</p>



<a name="226582581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582581">(Feb 16 2021 at 21:53)</a>:</h4>
<p>Other than that, not a ton of activity</p>



<a name="226582687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582687">(Feb 16 2021 at 21:54)</a>:</h4>
<p>Oh, someone found a solver issue in RA: <a href="https://github.com/rust-analyzer/rust-analyzer/issues/7680#issuecomment-779806682">https://github.com/rust-analyzer/rust-analyzer/issues/7680#issuecomment-779806682</a></p>



<a name="226582688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582688">(Feb 16 2021 at 21:54)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> added <code>Movability</code> to <code>Generator</code></p>



<a name="226582756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582756">(Feb 16 2021 at 21:55)</a>:</h4>
<p>yeah, we are two traits away from completion</p>



<a name="226582794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582794">(Feb 16 2021 at 21:55)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> do you want to take on writing a Chalk test for that? Or maybe <span class="user-mention" data-user-id="129457">@Florian Diebold</span></p>



<a name="226582851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582851">(Feb 16 2021 at 21:56)</a>:</h4>
<p><span class="user-mention silent" data-user-id="251766">Areredify</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226582756">said</a>:</p>
<blockquote>
<p>yeah, we are two traits away from completion</p>
</blockquote>
<p>exciting!</p>



<a name="226582936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582936">(Feb 16 2021 at 21:56)</a>:</h4>
<p>On the rustc side of that, I think we're blocked on binder refactor, <code>Param</code> work</p>



<a name="226582957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226582957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226582957">(Feb 16 2021 at 21:56)</a>:</h4>
<p>Oh, Chalk side, we need to do placeholder canonicalization</p>



<a name="226583006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583006">(Feb 16 2021 at 21:57)</a>:</h4>
<p>hmm</p>



<a name="226583061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583061">(Feb 16 2021 at 21:57)</a>:</h4>
<p>I know <span class="user-mention" data-user-id="251766">@Areredify</span> has a nearly working branch for that somewhere</p>



<a name="226583067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583067">(Feb 16 2021 at 21:58)</a>:</h4>
<p>and generators in rustc don't match those in chalk</p>



<a name="226583124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583124">(Feb 16 2021 at 21:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> still?</p>



<a name="226583133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583133">(Feb 16 2021 at 21:58)</a>:</h4>
<p>in what ways?</p>



<a name="226583160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583160">(Feb 16 2021 at 21:58)</a>:</h4>
<p>In Chalk, I know there is a <code>GeneratorId</code> in <code>GeneratorWitness</code></p>



<a name="226583176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583176">(Feb 16 2021 at 21:58)</a>:</h4>
<p>Yes, that issue.</p>



<a name="226583198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583198">(Feb 16 2021 at 21:58)</a>:</h4>
<p>So, do we need to remove that?</p>



<a name="226583250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583250">(Feb 16 2021 at 21:59)</a>:</h4>
<p>Also, quick update on type library stuff:</p>



<a name="226583260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583260">(Feb 16 2021 at 21:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226582957">said</a>:</p>
<blockquote>
<p>Oh, Chalk side, we need to do placeholder canonicalization</p>
</blockquote>
<p>Oh shoot, that one still active?</p>



<a name="226583267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583267">(Feb 16 2021 at 21:59)</a>:</h4>
<p>I'll look into it</p>



<a name="226583299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583299">(Feb 16 2021 at 21:59)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> and <span class="user-mention" data-user-id="283967">@Zahari Dichev</span> are looking into the <code>TyEncodable</code>/<code>TyDecodable</code> story</p>



<a name="226583304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583304">(Feb 16 2021 at 21:59)</a>:</h4>
<p>(goin to have to drop, will try to catch up async)</p>



<a name="226583327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583327">(Feb 16 2021 at 22:00)</a>:</h4>
<p>Well, the other problem is that rustc GeneratorWitnesses store the captured types directly while in chalk they come from a query.</p>



<a name="226583392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583392">(Feb 16 2021 at 22:00)</a>:</h4>
<p>but it was blocked by instantiation being different in recursive and regular solvers</p>



<a name="226583618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583618">(Feb 16 2021 at 22:00)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is that not the <code>Substitution</code> in <code>GeneratorWitness</code>?</p>



<a name="226583657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583657">(Feb 16 2021 at 22:01)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="125294">@Aaron Hill</span></p>



<a name="226583695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583695">(Feb 16 2021 at 22:01)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> that is solved now :)</p>



<a name="226583701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583701">(Feb 16 2021 at 22:01)</a>:</h4>
<p>I don't think so, there's no binder</p>



<a name="226583759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226583759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226583759">(Feb 16 2021 at 22:01)</a>:</h4>
<p>sweet</p>



<a name="226584089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584089">(Feb 16 2021 at 22:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> ah I see</p>



<a name="226584169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584169">(Feb 16 2021 at 22:02)</a>:</h4>
<p>Yeah, I think these were the issues I first ran into</p>



<a name="226584344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584344">(Feb 16 2021 at 22:03)</a>:</h4>
<p>So yeah, that needs to be fixed</p>



<a name="226584398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584398">(Feb 16 2021 at 22:03)</a>:</h4>
<p>Okay, that puts us at 3 past the hour</p>



<a name="226584421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584421">(Feb 16 2021 at 22:03)</a>:</h4>
<p>Any closing thoughts?</p>



<a name="226584465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584465">(Feb 16 2021 at 22:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-16/near/226583299">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> and <span class="user-mention silent" data-user-id="283967">Zahari Dichev</span> are looking into the <code>TyEncodable</code>/<code>TyDecodable</code> story</p>
</blockquote>
<p>Yup, that's progressing nicely</p>



<a name="226584576"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584576" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584576">(Feb 16 2021 at 22:04)</a>:</h4>
<p>No blockers I think, just waiting on implementation work</p>



<a name="226584597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584597">(Feb 16 2021 at 22:04)</a>:</h4>
<p>That's awesome to hear</p>



<a name="226584722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584722">(Feb 16 2021 at 22:05)</a>:</h4>
<p>Thanks everyone for attending :)</p>



<a name="226584767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226584767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226584767">(Feb 16 2021 at 22:05)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="226589075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-16/near/226589075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> BN <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-16.html#226589075">(Feb 16 2021 at 22:34)</a>:</h4>
<p>Yes, I can try to fix some or all of the diagnostics issues. Also if there are any other things, I'd be glad to help, just ping me.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>